Nuprl Definition : eq_ds
11,40
postcript
pdf
x
=
y
== dseq(
d
;
a
)(
x
,
y
)
latex
clarification:
eq_ds(
d
;
a
;
x
;
y
) == dseq(
d
;
a
)(
x
,
y
)
latex
Definitions
dseq(
d
;
a
)
FDL editor aliases
eq_ds
origin
